Turon, Aaron J.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Resource Analysis of the π-calculus

Aaron Turon, Mitchell Wand

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

2

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Freeze after writing

Kuper, Lindsey, Turon, Aaron, Krishnaswami, Neelakantan R., Newton, Ryan R.

Year:

2014

Language:

english

File:

PDF, 798 KB

english, 2014

3

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - A separation logic for refining concurrent objects

Turon, Aaron Joseph, Wand, Mitchell

Year:

2011

Language:

english

File:

PDF, 484 KB

english, 2011

4

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Scalable join patterns

Turon, Aaron J., Russo, Claudio V.

Year:

2011

Language:

english

File:

PDF, 786 KB

english, 2011

5

A separation logic for refining concurrent objects

Turon, Aaron Joseph, Wand, Mitchell

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 484 KB

english, 2011

6

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Superficially substructural types

Krishnaswami, Neelakantan R., Turon, Aaron, Dreyer, Derek, Garg, Deepak

Year:

2012

Language:

english

File:

PDF, 567 KB

english, 2012

7

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Turon, Aaron, Dreyer, Derek, Birkedal, Lars

Year:

2013

Language:

english

File:

PDF, 710 KB

english, 2013

8

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Modular rollback through control logging

Shivers, Olin, Turon, Aaron J.

Year:

2011

Language:

english

File:

PDF, 477 KB

english, 2011

9

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Logical relations for fine-grained concurrency

Turon, Aaron J., Thamsborg, Jacob, Ahmed, Amal, Birkedal, Lars, Dreyer, Derek

Year:

2013

Language:

english

File:

PDF, 717 KB

english, 2013

10

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - GPS

Turon, Aaron, Vafeiadis, Viktor, Dreyer, Derek

Year:

2014

Language:

english

File:

PDF, 836 KB

english, 2014

11

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Iris

Jung, Ralf, Swasey, David, Sieczkowski, Filip, Svendsen, Kasper, Turon, Aaron, Birkedal, Lars, Dreyer, Derek

Year:

2015

Language:

english

File:

PDF, 974 KB

english, 2015

12

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Reagents

Year:

2012

Language:

english

File:

PDF, 618 KB

english, 2012

13

Regular-expression derivatives re-examined

OWENS, SCOTT, REPPY, JOHN, TURON, AARON

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 204 KB

english, 2009

14

Scalable join patterns

Turon, Aaron J., Russo, Claudio V.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 786 KB

english, 2011

15

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Turon, Aaron, Dreyer, Derek, Birkedal, Lars

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 710 KB

english, 2013

16

Iris

Jung, Ralf, Swasey, David, Sieczkowski, Filip, Svendsen, Kasper, Turon, Aaron, Birkedal, Lars, Dreyer, Derek

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 974 KB

english, 2015

17

Modular rollback through control logging

Shivers, Olin, Turon, Aaron J.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 477 KB

english, 2011

18

Superficially substructural types

Krishnaswami, Neelakantan R., Turon, Aaron, Dreyer, Derek, Garg, Deepak

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 567 KB

english, 2012

19

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Rust: from POPL to practice (keynote)

Year:

2017

Language:

english

File:

PDF, 105 KB

english, 2017